#include <stdio.h>
#include <stdlib.h>
int main() {
	int n,t,a[1001];
	scanf("%d",&n);
	for(int i=0;i<1001;i++) a[i]=0;
	for(int i=0;i<n;i++){scanf("%d",&t);a[t]=1;}
	int sum=0;
	for(int i=0;i<1001;i++){
			if(a[i]!=0){
				printf("%d ",i);
				sum++;
			}	
		}
		printf("%d\n",sum);
	return 0;
	
}
